Bisimulation as a logical relation

Abstract We investigate how various forms of bisimulation can be characterised using the technology logical relations. The approach taken is that each form corresponds to an algebraic structure derived from a transition system, and general result relation R between two systems on state spaces S T if only structures are in automatically generated . show this works for original Park–Milner it extends weak bisimulation, branching semi-branching bisimulation. paper concludes with discussion probabilistic where situation slightly more complex, partly owing need encompass bisimulations not just